(set-info :source |fuzzsmt|)
(set-info :smt-lib-version 2.0)
(set-info :category "random")
(set-info :status unknown)
(set-logic QF_UF)
(declare-fun v0 () Bool)
(declare-fun v1 () Bool)
(declare-fun v2 () Bool)
(assert (let ((e3 
(and
 (or (not v2) (not v2) v0)
 (or v0 v2 v2)
 (or (not v2) (not v2) (not v2))
 (or v0 v2 (not v1))
 (or (not v2) (not v0) v0)
 (or v0 v2 v0)
 (or (not v2) v1 v2)
 (or v2 v1 (not v0))
 (or (not v2) v2 (not v0))
 (or (not v0) (not v0) (not v0))
 (or (not v0) v2 v2)
 (or v1 v1 (not v1))
 (or (not v2) v2 (not v0))
 (or v1 v1 (not v2))
 (or v2 (not v0) v0)
)))
e3
))

(check-sat)
